机译:独立验证和验证在复杂环境中的安全关键演化软件中的作用:Nasa航天飞机计划
机译:在变化的环境中保持航天飞机的安全
机译:WPI先进太空设计计划的演变-一个使用NASA航天飞机进行工程教育的技术和社会分析计划
机译:适用于安全性和安全性至关重要的软件系统的白盒和灰盒验证和确认方法
机译:在复杂环境中独立验证和确认在维护安全关键型进化软件中的作用:NASA航天飞机计划
机译:空间计划(美国国家航空航天局;航天飞机计划)中国家航空和空间管理师的描述性分析。
机译:躯体感觉在空间飞行后姿势控制中的关键作用:前庭不足的宇航员在躯体感觉受损期间不能保持直立姿势
机译:在复杂环境中维护重要安全进化软件的过程中,独立验证的有效性:NASA航天飞机计划
机译:美国宇航局的独立验证和验证(IVandV)计划如何为太空任务软件系统(smss)建立可靠性。